Primer C++, Quinta Edición: Los Mecanismos del Control de Copia

Dominar el ciclo de vida de un objeto C++ es tener control sobre los mecanismos mismos de existencia dentro del montón y pila. El control de copia define cómo una clase gestiona su ciclo de vida mediante dos operaciones: el constructor de copia y el operador de asignación por copia.

1. Inicialización frente a Asignación

Inicialización directa (por ejemplo, string puntos(10, '.')) invoca directamente un constructor. Sin embargo, inicialización por copia (string s2 = puntos) depende del constructor de copia. A diferencia de la inicialización, asignación (trans = acum) sobrescribe un objeto existente usando operador=. Una restricción crítica: el parámetro del constructor de copia debe ser una referencia (const Foo&); de lo contrario, pasar un argumento por valor desencadenaría un bucle recursivo infinito de llamadas de copia.

2. El Papel de la Síntesis

Si no defines estos miembros, el compilador proporciona versiones sintetizadas que realizan copias miembro a miembro. Ten cuidado: aunque son suficientes para tipos simples, a menudo fallan en clases que gestionan memoria dinámica, provocando punteros colgantes o liberaciones dobles.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Why must the first parameter of a copy constructor be a reference type (usually const)?

To allow the compiler to optimize the code into a move operation.

To prevent infinite recursion during parameter initialization.

Because pointers are not allowed in constructor signatures.

To ensure the object is placed on the heap rather than the stack.

QUESTION 2

What is the primary difference between Copy Initialization and Direct Initialization?

Direct initialization uses the assignment operator; copy initialization does not.

Copy initialization always requires the 'new' keyword.

Direct initialization asks the compiler to find the best constructor; copy initialization requires the copy constructor.

There is no functional difference; they are just different syntax for the same call.

QUESTION 3

Assume 'numbered' has a synthesized copy constructor that copies a unique ID 'mysn'. What happens if you run: numbered a, b = a, c = b;?

Each object (a, b, c) will have a unique 'mysn' value.

The program will fail to compile because IDs cannot be copied.

All three objects will share the exact same 'mysn' value.

Object 'a' will be reset to zero after the copy.

QUESTION 4

Which of the following would trigger a compilation error if the constructor 'vector<int>(int size)' is marked 'explicit'?

vector<int> v(10);

vector<int> v = 10;

f(vector<int>(10));

vector<int>* p = new vector<int>(10);

QUESTION 5

What should a well-behaved copy-assignment operator usually return?

void

A copy of the current object by value.

A reference to the left-hand operand (*this).

The memory address of the right-hand operand.